[IA64] Fix deadlock of ptc.ga emulation
authorAlex Williamson <alex.williamson@hp.com>
Wed, 16 May 2007 16:42:07 +0000 (10:42 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Wed, 16 May 2007 16:42:07 +0000 (10:42 -0600)
commit5435198443737fd0f34f39206e071f2bbbffef10
tree1334f2e6f9165202e38c8139b095c6d4c4776a10
parentc77048674869a038cb99b0cbcf54bb56a74f346b
[IA64] Fix deadlock of ptc.ga emulation

ptc_ga_remote_func() might be invoked by IPI with a schedule_lock
that is acquired. (e.g., inside of vcpu_migrate())
It will cause a deadlock.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
xen/arch/ia64/vmx/vmmu.c